Acyclic model

Results: 47



#Item
21Diagrams / Theoretical computer science / Binary decision diagram / Model checking / Directed acyclic graph / Constraint satisfaction problem / Static single assignment form / Optimization problem / Applied mathematics / Boolean algebra / Constraint programming / Mathematics

Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2010-02-27 15:21:10
22Mathematics / Algebraic topology / Category theory / Homological algebra / Homology theory / Homotopy group / Crossed module / Acyclic model / Simplicial set / Topology / Abstract algebra / Homotopy theory

Math. Proc. Camb. Phil. Soc[removed]), 110, [removed]Printed in Great Britain

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2009-03-01 10:01:09
23Mathematics / Simplex / Simplicial complex / Simplicial map / Homology / CW complex / Chain complex / Chain / Acyclic model / Topology / Algebraic topology / Abstract algebra

Algebraic Topology and Distributed Computing A Primer Maurice Herlihy1 and Sergio Rajsbaum2 Computer Science Department Brown University, Providence, RI[removed]removed] ???

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2002-12-21 01:05:58
24Binary decision diagram / Model checking / Theoretical computer science / Zero-suppressed decision diagram / Directed acyclic graph / Static single assignment form / Hypergraph / Formal methods / Boolean algebra / Diagrams / Mathematics

Analytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications Olivier Nusbaumera*, Wolfgang Krögerb, and Enrico Zioc a b

Add to Reading List

Source URL: nusbaumer.tripod.com

Language: English - Date: 2012-09-02 05:44:01
25Network theory / Network flow / Networks / Operations research / Directed acyclic graph / Shortest path problem / Topological sorting / Centrality / Flow network / Graph theory / Mathematics / Theoretical computer science

Scalable Influence Maximization in Social Networks under the Linear Threshold Model Wei Chen Microsoft Research Asia Beijing, China Email: [removed]

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:24
26Graph connectivity / Diagrams / Models of computation / Directed acyclic graph / Transitive closure / Reachability / Unreachable memory / Model checking / Connected component / Graph theory / Mathematics / Theoretical computer science

Inductively Finding a Reachable State Space Over-Approximation Michael L. Case Alan Mishchenko

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2006-05-01 16:01:54
27Epistemology / Philosophy of science / Directed acyclic graph / Graphical model / Causality / Science / Scientific modelling / DAG / Statistical models / Bayesian statistics / Statistics

Fitting Directed Acyclic Graphs in genomics: an empirical Bayes approach - Prediction and Marker Selection

Add to Reading List

Source URL: www.mdanderson.org

Language: English - Date: 2015-02-10 06:33:02
28Parallel computing / Directed acyclic graph / Sheaf / Constructible universe / Consistency model / Model theory

Computation-Centric Memory Models Matteo Frigo Victor Luchangcoy MIT Laboratory for Computer Science

Add to Reading List

Source URL: supertech.csail.mit.edu

Language: English - Date: 2014-09-16 08:27:51
29Graphical models / Bayesian statistics / Networks / Bayesian network / Directed acyclic graph / Mixture model / Latent variable / Expectation–maximization algorithm / Independent component analysis / Statistics / Statistical models / Estimation theory

Learning Linear Bayesian Networks with Latent Variables Animashree Anandkumar Department of EECS, University of California, Irvine [removed]

Add to Reading List

Source URL: www.cs.columbia.edu

Language: English - Date: 2014-11-25 10:45:20
30Philosophy of science / Directed acyclic graph / Neuroscience / Causality / Epidemiology / Statistics / Economic model / Dag / National Institutes of Health / Science / Information / Knowledge

Microsoft Word - Mumford DAGS full description.docx

Add to Reading List

Source URL: depts.washington.edu

Language: English - Date: 2014-04-21 16:14:00
UPDATE